priority -50

snippet Coq "Coq Gitignore Template"
### Coq ###
*.vo
*.glob
*.v.d
$0
endsnippet
